<?php

if (@preg_match_all('/\p{N}/', '0123456789', $dummy) === false) {
    die('skip');
}
